From 8cbe1289ae492a9d257b63076ce2c0b18904e0a1 Mon Sep 17 00:00:00 2001
From: Jake Goldsborough <rjgoldsborough@gmail.com>
Date: Mon, 29 Aug 2016 12:56:41 -0700
Subject: [PATCH] adding policies to Makefile.in

---
 Makefile.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index d8093de5e..9aa14d5d2 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -136,7 +136,7 @@ clean:
 # === Documentation
 
 DOCS := index faq config guide manifest build-script pkgid-spec crates-io \
-	environment-variables specifying-dependencies source-replacement
+	environment-variables specifying-dependencies source-replacement policies
 DOC_DIR := target/doc
 DOC_OPTS := --markdown-no-toc \
 		--markdown-css stylesheets/normalize.css \
-- 
2.30.2